Wyniki
-
Proof theory of epistemic logic of programs
Paolo Maffezioli, Alberto Naibo
Logic and Logical Philosophy , 23 /3 (2014) s. 301-328
Paolo Maffezioli,
Alberto Naibo
Logic and Logical Philosophy
, 23
/3
(2014)
s. 301-328